Engineering Quality Requirements based on Problem Frames

INVITED GUEST Time and Place TOPIC Prof. Dr. Maritta Heisel University of Duisburg – Essen (Germany) Monday, 30th June 2014, 09:15 Room 001 Albert-Einstein-Straße 22, 18059 Rostock I will give an introduction to problem frames as proposed by Michael Jackson. Problem Frames are patterns for simple software development problems. Then, I will show how the problem frames notation can be carried over to UML, which makes it possible to provide tool support for the problem frame approach, for example, checking integrity conditions expressed in OCL. Furthermore, I will present a dependability profile, which makes it possible to express dependability requirements, complementing functional requirements. In this way, problem frames can be used to engineer not only functional requirements, as in Jackson's version, but also quality requirements. Finally, I will show how the diagrams set up when using the problem frames approach can be used further.